Description logic - PDFSEARCH.IO - Document Search Engine

Description logic
Results: 846

#	Item
101	Combining Existential Rules and Description Logics Antoine Amarilli1,2 , Michael Benedikt2 1 Télécom 2 University ParisTech, Paris, France Add to Reading List Source URL: a3nm.net Language: English - Date: 2015-07-28 14:31:58 Computing Logic Boolean algebra Conjunctive query Database theory Description logic Web standards FO Boolean conjunctive query Web Ontology Language
102	Proof of the Completeness Theorem in SL PHI 201 Introductory Logic Fall 2012 Here is a description of the proof of the Completeness Theorem that I outlined in class. Much of it follows the text, but since I diverged from Add to Reading List Source URL: www.shamik.net Language: English - Date: 2014-03-01 12:23:03
103	Combining Existential Rules and Description Logics 1,2 Antoine Amarilli , Michael Benedikt 1: Télécom ParisTech; Institut Mines-Télécom; CNRS LTCI; Paris, France Add to Reading List Source URL: a3nm.net Language: English - Date: 2015-07-28 20:39:18 Logic Mathematical logic Mathematics Model theory First-order logic Predicate logic Universal quantification Quasigroup
104	Reducing OWL Entailment to Description Logic Satisfiability? Ian Horrocks1 and Peter F. Patel-Schneider2 1 Department of Computer Science Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:52:15
105	Submitted on January 6, 2014 to the Notre Dame Journal of Formal Logic Volume ??, Number ??, Deciding Unifiability and Computing Local Unifiers in the Description Logic EL without Top Constructor Franz Baader and Nguyen Add to Reading List Source URL: ddll.inf.tu-dresden.de Language: English - Date: 2015-03-20 08:10:31
106	AC LINE MONITOR LOGIC-OUT DEVICE MID400 Package Dimensions DESCRIPTION The MID400 is an optically isolated AC line-to-logic interface Add to Reading List Source URL: www.qsl.net Language: English - Date: 2003-10-25 05:30:51
107	Fixed-Domain Reasoning for Description Logics Sarah Gaggl, Sebastian Rudolph, Lukas Schweizer Technische Universit¨at Dresden Computational Logic Group Add to Reading List Source URL: ddll.inf.tu-dresden.de Language: English - Date: 2016-04-18 09:24:20
108	Reasoning in the SHOQ(Dn ) Description Logic Jeff Z. Pan and Ian Horrocks Information Management Group Department of Computer Science University of Manchester Oxford Road, Manchester M13 9PL, UK Add to Reading List Source URL: www.cs.man.ac.uk Language: English - Date: 2007-07-26 07:51:34
109	Verilator: Open Simulation - Growing Up http://www.veripool.org/papers Wilson Snyder Cavium Networks Add to Reading List Source URL: www.veripool.org Language: English - Date: 2013-06-06 20:23:28 Electronic design automation Electronic engineering Digital electronics Hardware description languages Logic design Verilator SystemC Verilog Simulation Logic simulation
110	An ExpTime Tableau Method for Dealing with Nominals and Quantified Number Restrictions in Deciding the Description Logic SHOQ Linh Anh Nguyen1,2 and Joanna Goli´ nska-Pilarek3 1 Add to Reading List Source URL: ceur-ws.org Language: English - Date: 2013-09-03 07:12:26 Automated theorem proving Method of analytic tableaux